Hanne Riis Nielson: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (25)
Most Popular
List
- List
- Table

1

Semantics with applications: a formal introduction

Semantics with applications: a formal introduction

John Wiley & Sons Inc

Hanne Riis Nielson, Flemming Nielson

Year:

1999

Language:

english

File:

PDF, 966 KB

5.0 / 5.0

english, 1999

2

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

Year:

1992

Language:

english

File:

PDF, 7.05 MB

0 / 0

english, 1992

3

Transactions on Computational Systems Biology VII

Transactions on Computational Systems Biology VII

Springer-Verlag Berlin Heidelberg

Muffy Calder, Stephen Gilmore, Jane Hillston (auth.), Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson (eds.)

Year:

2006

Language:

english

File:

PDF, 2.03 MB

0 / 0

english, 2006

4

Type and Effect Systems: Behaviours for Concurrency

Type and Effect Systems: Behaviours for Concurrency

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson

Year:

1999

Language:

english

File:

DJVU, 1.54 MB

0 / 0

english, 1999

5

Formal Methods. An Appetizer

Formal Methods. An Appetizer

Flemming Nielson, Hanne Riis Nielson

Year:

2019

Language:

english

File:

PDF, 1.80 MB

0 / 0

english, 2019

6

Semantics with applications: an appetizer

Semantics with applications: an appetizer

Nielson, Flemming, Nielson, Hanne Riis

Year:

2007

Language:

english

File:

PDF, 2.24 MB

0 / 0

english, 2007

7

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

Year:

2005

Language:

english

File:

PDF, 9.73 MB

0 / 5.0

english, 2005

8

Two-Level Functional Languages

Two-Level Functional Languages

Cambridge University Press

Flemming Nielson, Hanne Riis Nielson

Year:

1992

Language:

english

File:

DJVU, 1.48 MB

0 / 0

english, 1992

9

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Frank Tip (auth.), Hanne Riis Nielson, Gilberto Filé (eds.)

Year:

2007

Language:

english

File:

PDF, 5.51 MB

0 / 0

english, 2007

10

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Alessio Di Mauro, Xenofon Fafoutis, Sebastian Mödersheim, Nicola Dragoni (auth.), Hanne Riis Nielson, Dieter Gollmann (eds.)

Year:

2013

Language:

english

File:

PDF, 6.30 MB

0 / 0

english, 2013

11

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Frank Tip (auth.), Hanne Riis Nielson, Gilberto Filé (eds.)

Year:

2007

Language:

english

File:

PDF, 7.50 MB

0 / 5.0

english, 2007

12

Semantics With Applications: A Formal Introduction

Semantics With Applications: A Formal Introduction

John Wiley & Sons Inc

Hanne Riis Nielson, Flemming Nielson

Year:

1991

Language:

english

File:

PDF, 1.14 MB

0 / 0

english, 1991

13

Ethical and Legal Aspects of Computing

Ethical and Legal Aspects of Computing

Ian Mackie & Samson Abramsky & Chris Hankin & Mike Hinchey & Dexter C. Kozen & Hanne Riis Nielson & Steven S. Skiena & Iain Stewart & Joseph Migga Kizza & Roy Crole & Elizabeth Scott & Gerard O’Regan

Year:

2024

Language:

english

File:

PDF, 5.90 MB

0 / 4.0

english, 2024

14

Formal Methods. An Appetizer

Formal Methods. An Appetizer

Flemming Nielson, Hanne Riis Nielson

Year:

2019

Language:

english

File:

PDF, 2.21 MB

0 / 5.0

english, 2019

15

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

Year:

2007

Language:

english

File:

PDF, 2.29 MB

0 / 0

english, 2007

16

Principles of Program Analysis

Principles of Program Analysis

Springer-Verlag Berlin Heidelberg

Flemming Nielson, Hanne Riis Nielson, Chris Hankin (auth.)

Year:

1999

Language:

english

File:

PDF, 38.85 MB

0 / 4.0

english, 1999

17

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Springer-Verlag London

Hanne Riis Nielson PhD, Flemming Nielson PhD, DSc (auth.)

Year:

2007

Language:

english

File:

PDF, 2.81 MB

0 / 0

english, 2007

18

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Pro

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Pro

Springer International Publishing

Hanne Riis Nielson, Emilio Tuosto

Year:

2019

Language:

english

File:

PDF, 22.63 MB

0 / 0

english, 2019

19

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Springer-Verlag New York, Inc.

Hanne Riis Nielson, Flemming Nielson

Year:

2007

Language:

english

File:

PDF, 2.03 MB

0 / 0

english, 2007

20

Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Hanne Riis Nielson, Flemming Nielson

Year:

2007

Language:

english

File:

PDF, 2.30 MB

0 / 0

english, 2007

21

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Alessio Di Mauro, Xenofon Fafoutis, Sebastian Mödersheim, Nicola Dragoni (auth.), Hanne Riis Nielson, Dieter Gollmann (eds.)

Year:

2013

Language:

english

File:

PDF, 4.91 MB

0 / 0

english, 2013

22

Semantics with applications : an appetizer

Semantics with applications : an appetizer

Hanne Riis Nielson, Flemming Nielson

Year:

2007

Language:

english

File:

PDF, 1.37 MB

0 / 0

english, 2007

23

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B Jones (auth.), Hanne Riis Nielson (eds.)

Year:

1996

Language:

english

File:

DJVU, 3.39 MB

0 / 0

english, 1996

24

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Programming Languages and Systems — ESOP '96: 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Cliff B Jones (auth.), Hanne Riis Nielson (eds.)

Year:

1996

Language:

english

File:

PDF, 5.90 MB

0 / 0

english, 1996

25

Semantics with applications: an appetizer

Semantics with applications: an appetizer

Hanne Riis Nielson, Flemming Nielson

Year:

2007

Language:

english

File:

DJVU, 1.72 MB

0 / 0

english, 2007